deduction theorem - Français Anglais Dictionnaire